Bubbles in Modularity

نویسنده

  • Massimo Marchiori
چکیده

We provide a global technique called neatening for the study of mod ularity of left linear Term Rewriting Systems Objects called bubbles are identi ed as the responsibles of most of the problems occurring in mod ularity and the concept of well behaved from the modularity point of view reduction said neat reduction is introduced Neating consists of two steps the rst is proving a property is modular when only neat re ductions are considered the second is to neaten a generic reduction so to obtain a neat one thus showing that restricting to neat reductions is not limitative This general technique is used to provide a unique uniform method able to prove all the existing results on the modularity of every basic property of left linear Term Rewriting Systems and also to provide new results on the modularity of termination

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mining Overlapping Communities in Real-world Networks Based on Extended Modularity Gain

Detecting communities plays a vital role in studying group level patterns of a social network and it can be helpful in developing several recommendation systems such as movie recommendation, book recommendation, friend recommendation and so on. Most of the community detection algorithms can detect disjoint communities only, but in the real time scenario, a node can be a member of more than one ...

متن کامل

Maximum Maintainability of Complex Systems via Modulation Based on DSM and Module Layout.Case Study:Laser Range Finder

The present paper aims to investigate the effects of modularity and the layout of subsystems and parts of a complex system on its maintainability. For this purpose, four objective functions have been considered simultaneously: I) maximizing the level of accordance between system design and optimum modularity design,II) maximizing the level of accessibility and the maintenance space required,III...

متن کامل

MODULARITY OF AJMAL FOR THE LATTICES OF FUZZY IDEALS OF A RING

In this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring R. These fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. Using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...

متن کامل

Stock Market Bubbles and Business Cycles: A DSGE Model for the Iranian Economy

T his paper investigates the movement between stock market bubbles and fluctuations in aggregate variables within a DSGE model for the Iranian economy. We apply a new Keynesian monetary framework with nominal rigidity in wages and prices based on the study by Ikeda (2013), which is developed with appropriate framework for the Iranian economy. We consider central bank behavior differe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 192  شماره 

صفحات  -

تاریخ انتشار 1998